knowshow for proofs