ℎ𝑜𝑝𝑒¹ᴰ (on limit) on