Pero, las minutas de la reunión del Politburó del 31 de octubre registran que la decisión de intervenir militarmente fue tomada un día antes que Hungría declarara su neutralidad y retiro del Pacto de Varsovia.