Got travel_onwards events basically working. Added a non-reflexivity
constraint.

-Peter Mawhorter