Denna förmodan slog in,