infinitary

not defined yet