hmm. lets see if solutions are plugged in
ok, vanilla cleaning up done
next: add line breaks and transitively close context