Disable proof toggling