Search AVI proof - Page 16