* falsifies sequents defaultly.
* changed command bindings.