Example: AVL bound to 4GRQ