Polhem var fullkomligt oskadad.