A rule's symbols are intrinsically ambiguous: '+' could mean addition, or a deviant function that di...
This proposition has not been edited since the history system was added.