Major revision, bunnies are found using constraints from identities