added extra constraints to ConsistsOf