Candice calculus