add user operators and case guards
remove comment