Logical_framework loading ...