Denna förmodan var fullkomligt riktig,