Oulie
Term logic with choice operator by Hans Hermes — Oulie