The Modal Equivalence Rules of the Port-Royal Logic. Issue 3 (3rd July 2017)