infinitude

not defined yet