 The president ceased expediting the supply of arms to Israel. Before that, the president had actually done an end run around Congress and didn't require congressional approval for these supplies. Usually you do require congressional approval. And now the supplies are sort of somehow discontinued.