coinfinite

not defined yet