forgot to monospacize the proof