 It was generally believed that, as in the case for regular cardinals, the behaviour of the function κ ↦ 2κ would be relatively unconstrained within the setting of ZFC. But then Silver proved the following remarkable result:[3] 