support for constraint checks