domain calculus