Enantioselective formal α-allylation of nitroalkanes through a chiral iminophosphorane-catalyzed Michael reaction-Julia-Kocienski olefination sequence.