Formal_language loading ...