Buchi strength