Continuing implementation of PL