Consistency Test

Contraposition