PL fwd bwd and resolution