succinctness