finite

not defined yet