Assertion list
joy (primary) → SymbolOf
Results from Ascent++: 1
joy → SymbolOf → the spirit of our work 0.16