Proofs as knowls, use hiddenproof class