nonfinitely

not defined yet