update pl final  review

correction of four times bindings can take place in a program