succinct

not defined yet