MORI_TRAVERSAL_PROOF