cover edgeObs ({Ctl}) restrict (Ctl)