Abstract_family_of_languages loading ...