Logic rests on the axiom that existence exists. Logic is the art of non-contradictory identification.
