add: output in the console as the proof