what if the system shell was a tool that always suffered from not knowing its semantics were best described by sequent calculus?