Text this: Term logic with choice operator.