m7-calculus-on-euclidean-space