Split opposite? into complementary? and contradictory?
Add Top and Bot to contradictory and complementary checks.