<p>existence of traits implies the existence of traitors (those who trait)</p>