Assertion list
cheesecake (primary) → AtLocation
Results from Ascent++: 2
cheesecake → AtLocation → the center 0.53
cheesecake → AtLocation → dead center 0.25