+++
title = "Need for Recursion in the Proof "
date = "2022-06-28"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a8g2d"]
forwardlinks = []
zettelid = "3a8g2e"
+++

When using the above lemmas, each gamma needs to be paired with a
dominator. If one is at a dominator, then one needs to start the
collection of the execution along the path
$n, R \overset{p}{\longrightarrow^*} m, R'$. If one is then at a γ
function, one can use that path. However, one could also come accross.

![][1]

  [1]: attachment:proof-edge-case.svg