Logical_abacus