impl BoolTable. done test