verification in Models