TIL: the nickname of all CEOs is 'Public'.