finitary

not defined yet