Zhuge Liang's Empty Fort Strategy backs off Sima Yi's troops