Prepositional-Proposition Theorem view 3