Marha calculus