We end our exploration of chapter 6 where we began it–with equivalent propositions. There are three types covered here–conversion, obversion, and contraposition–and by adding these to the four relationships covered in the Square of Opposition we have now acquired an impressive number of ways we can wring extra truth out of the simplest categorical propositions.