Term Logic with Choice Operator by Hans Hermes