finitesimal

not defined yet