Det hade redan antydts,