Logical_calculus loading ...