jass proofs