Form a carbon-carbon double bond between the substituent-bearing carbon and the neighboring carbon adjacent to the ring nitrogen in the piperidine ring.