Pātuhitia tēnei: Term logic with choice operator