new PCF_blank and some exercises of transitive reflexive closure.