marker: a distinguishing symbol
abstraction: a general concept formed by extracting common features from specific examples
contrary: a logical relation such that two propositions are contraries if both cannot be true but both can be false