Logical_assertion loading ...