Prepositional-Proposition Theorem view 2