infinitizing
not defined yet