In this branch of logic, the rules of reasoning are as follows:
This leads to some... interesting conclusions, don't you think?