Browsing: PMF Advanced Proof Capsule