Beginning to add proof rules