#succinctlavs

$PROVE

#succinctAIRDROOS