finite.v 14 KB