まず、cnfが作動するまで、x・yは共に958便の存在を失念していたものと推定される。