Is Caleb Williams the real ‘Iceman’? Or does nickname belong to Gervin and others?

The moniker was all good and fun until Williams filed papers to copyright it. But there’s room in this cold world for different Icemen.