ignoring print proofs

ignoring print proofs