minimal coverage in Models