Added & and | handleing to proof
Merge pull request #35 from okinm117/patch-15

Added & and | handleing to proof