Logical Abacus