@boblow PM proofs as specified in first post.

Bump