M3: Making Math Meaningful