Scheme 1. Products for the reactions of the pyridinium ylides 6 (generated by deprotonation of 6·HY) with cyclic Michael acceptors (yields of isolated products after chromatography, see ESI† for details). Insert: Single-crystal X-ray structure of 8. Thermal ellipsoids drawn at a 50% probability level.