Port-Royal_Logic loading ...