If semantic values were identical, rational agents with full information should accept substitutions...
This proposition has not been edited since the history system was added.