fixed erroneously bound path p in proof that PI implies based PI
updated errata with change