Symbolic Trajectory Evaluation
 
x
OK