Talk:Fluent calculus

This sentence really doesn't seem to make much sense: "This formula states that the state after the move is added the term on(box,floor) and removed the term on(box,table). Axioms specifying that \circ is commutative and non-idempotent are necessary for such axioms to work." —Preceding unsigned comment added by 220.233.42.204 (talk) 23:36, 20 October 2009 (UTC)