Algebra_Heytinga loading ...