Stav dette: Term logic with choice operator