Some logical operators (like the conditional itself) cannot be defined using only other operators wi...
This proposition has not been edited since the history system was added.