Term logic with choice operator | lit.salon