next: add line breaks and transitively close context
ok, now contexts are closed. next: pretty-printing contexts