 These were compared with any given premises, and incompatible ones crossed off.In the abacus the combinations are inscribed each on a single slip of wood or similar substance, which is moved by a key; incompatible combinations can thus be mechanically removed at will, in accordance with any given series of premises.The principal examples of such machines are those of William Stanley Jevons ("logic piano"), John Venn, and Allan Marquand.