Chiến dịch phạt Bắc

Trong chiến dịch phạt Bắc, Ngụy Diên từng đề xuất kỳ mưu Tý Ngọ cốc nhưng không được chấp thuận vì Gia Cát Lượng cho rằng quá mạo hiểm.

Trong lần phạt Bắc 2, Gia Cát Lượng thực sự đã gặp phải một trong những đối thủ khó trị nhất trong suốt nghiệp cầm quân.