I think KBATA is using a single rich text field with checkboxes, not a series of checkbox fields. One complication is that each record could have a different number of checkboxes in the rich text field.
I think I created such a formula a while ago, but I am not on my computer and cannot look it up.