Use a clause from your ClauseBank