Assertion list
insanity (primary) → DefinedAs
Results from Ascent++: 2
insanity → DefinedAs → doing the same thing 0.33
insanity → DefinedAs → rational adjustment 0.16