Assertion list
depth (aspect of lens ) → AtLocation
Results from Ascent++: 1
depth → AtLocation → focus 0.34