It seems to me that if there actually were use of military force in the streets to crush protests, we would have heard rather more about it.