this method checks wether the invariant is still intact and does only in valid states return True. There is no underlaying logic in the DB enforcing the constraint you assume...