AVL functional