proofs (prints by function) (300264637);