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

― Ayn Rand , Atlas Shrugged