Logical_possibility loading ...