at_least: Extent ~> Extent