その多様性、汎用性ゆえに、しばしば曖昧な結論になってしまいがちなM予想に、確かな筋道を与えることを目的としています。