Properties in PL3