those 3 `instanceof` are unnecessary, as they are already covered by the casts in lines 154->157.