Proofs That P Redux

A sequel