Jones proofs