adjusted domain semantics