Jónsson–Tarski_duality loading ...