uncovered f in Models