RT AA A1 Steinitz, Yuval T1 Contradictions Are Ontological Arguments