finitude

not defined yet