Roxanne proofs