Revisiting Clause Vivification [pdf]