realized that a proof term for print was necessary