add all buchi