let
fol =
MO
.
M
.fol