Logica mso (logica monadica del secondo ordine) sulle parole

Question

Lascia che sia una lingua $ Sigma = {a, b, c } $ che contiene tutte le parole, dove la lunghezza $ | w | _b $ (Numero di tutte le B) ha il resto 1 se diviso per 3.

La logica MSO sulle parole è definita come segue:

Voglio esprimere questa lingua usando MSO Logic. Ma il mio problema è come posso contare le B per calcolare il promemoria? Quindi sarebbe facilmente se guardo semplicemente $ | w | $, perché potrei usare Max.