Kassandra and John proofs