Mathematical validity of an equation doesn't guarantee its premises hold in all domains; type system...
This proposition has not been edited since the history system was added.