there is at least one

already at the end. In

at least once Bad

at each

raw value of X at

raw value of Y at

be called at an

for at least 6

1 at time t . In

trajectories have at least