Det hade under debatten antydts,