HoMM3 HD is a mod (add-on) for the game Heroes of Might and Magic 3.

Option 1 still makes more sense – we can’t upgrade a level 4 guild without building it first. Perhaps we should do the same with the library enchantments and not allow them to be upgraded if the library hasn’t been built. Besides, this would encourage players to build it sooner.