rule ∞

a