"finite"@en-us . .