"succinct"@en-us . .