Interesting thread. @Tom_Storm and I were actually just talking about the Golden Rule, beginning around this post.
Can you explain P2? It looks like an ‘if’ without a ‘then’.