Integrity Constraints lab