[AVL] Proof read