Add conj but pattern