"Brevity" fully verified