for proof-printing operations