succinctness

not defined yet