Working on constraint/subconstraint validation