Prepositional-Proposition Theorem view 1