Introducing complex predicates like 'E(x) ∧ S(x)' as propositional constituents merely relocates the...