Neatened the pretty output of a proof