a heavy set in Models