finalized domain semantics