For a country, if effective monetary policy is possible, it must have successful inflation control and a strong national currency.
∀x (Country(x) ∧ PossibleEffectiveMonetaryPolicy(x) → SuccessfulInflationControl(x) ∧ StongNationalCurrency(x))