Finished derivation of pl algorithm for DLM