Logical_quotation loading ...