Szarvasmarha calculus