Logical_consequence loading ...