OK, I get that demanding that the strait of Hormuz be open is complicated, but maybe it demanding that it be G_δ can be a reasonable proposition? #MathHumor