Trong tự trị thông giám quyển 68 có chép về việc Lưu Bị đánh Hán Trung, trong đó có đoạn: 遣張飛、馬超、吳蘭等屯下辨, em dịch là : Sai Trương Phi, Mã Siêu và Ngô Lan dẫn quân ra Hạ Biện. Bác kiểm tra có đúng không?