Logical_framework_approach loading ...