domain logics