Even if Henry connects to dozens of out of date or malicious nodes, and one correct node, his Bitcoin software will know the one correct copy because it will contain the greatest amount of Proof of Work and consist of valid transactions all the way back to the genesis block.
