life-death calculus