domain specification