Beyond Boole : the next logical step