Should nuclear launch codes work like this?