Logical_language loading ...