Updating: fixing a glitch in compiling proof assignment.