But the conjunction of these claims, which has been called “popular Latin trinitarianism”, is demonstrably incoherent (Tuggy 2003a, 171; Layman 2016, 138–9). Because the numerical identity relation is defined as transitive and symmetrical, claims 1–3 imply the denials of 4–6. If 1–6 are steps in an argument, that argument can continue thus: