let fol = M.fol