MAX: Cannot reason about continuous behavior

Description


Detail from MAX