Using the Clause Library