Assertion list
nest (primary) → DefinedAs
Results from Ascent++: 1
nest → DefinedAs → stake 0.25