Category errors require showing operations are literally meaningless, not merely that they yield une...
This proposition has not been edited since the history system was added.