Updated Proof in finders to handle tildas