The truth of (P1) only entails that a proposition and all its constituents exist simpliciter, not th...