infinitarily

not defined yet