Updated Proof in finders to handle tildas
Merge pull request #37 from okinm117/patch-17

Updated Proof in finders to handle tildas