prief

PRIEF, for proof, obsolete.