in Fol , 40R:d