logic11 follows these domains