v1.1 · third step source 7 rulings applied · toggle the two open judgments live: skip semantics (#6) and where Assumed lives (#7)
#6 skip
#7 assumed
← board
⏎ send · ⇧⏎ newline