verification f in Models