Oops -- remove the old version of conjunction