Added support for constraints to Boolean stuff.