M formal