contrary: a logical relation such that two propositions are contraries if both cannot be true but both can be false
logical relation: a relation between propositions
powerhouse: a team considered to be the best of its class