proof that sagginess is perfect in Models