Logical_proposition loading ...