"finite"@en . . . .