Assertion list
image (aspect of telescope ) → AtLocation
Results from Ascent++: 1
image → AtLocation → focus 0.45