Made checkboxes for Proof menu checked by default (with Avi's help).