We can now apply Verifications on the models.