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
worker: sterile member of a colony of social insects that forages for food and cares for the larvae