for X being set
for B being V107() FinSequence of bool X
for a being object
for n being Nat st a in B . n holds
(arity-from-list B) . a = n