let is_degraded = lazy implem.is_degraded