constraint domain