b . in Fol.