Assertion list
notebook (primary) → UsedFor

Results from Ascent++: 1
notebookUsedFor evaluation 0.37