Action formalisms that encode persistence as default eliminate redundant specification, making repre...
This proposition has not been edited since the history system was added.