Archived tweet #11958 from the @leastfixedpoint Twitter Archive

@dubroy Ah: react { assert Pos(x, y); on SomeEvent => stop { react { assert Pos(x1, y1); ... }} } Because of "turns", the assert of the new Pos will happen before the retract of the old.