M Calculus