True the entailments in the hardware do correspond to the entailments in the airplane but we need to keep in mind that in the case of a computer simulation the right side of the simulation is NOT just the causal entailments of the hardware but entailments of the hardware PLUS the inferential entailments in the software put in by humans. So in this sense a computer simulation is a Causal/Inferential chimera but as a whole it fulfils the commutativity condition so why is it not a model.