finitudes

not defined yet