Autif describes two ways in which categorical propositions cannot be simultaneously true or false.