Fixed some display issues in the proof
Fixed global Makefile
Fixed a minor issue in the proof