If the regularity described in P1 underdetermines which proposition S expresses, then satisfying all...