+++
title = "Using equations to prove copy propagation"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a8e"]
forwardlinks = ["3a8e2"]
zettelid = "3a8e1"
+++

Copy propagation is when a direct assignment is propagated. This can be
proven using the equations Lemma directly, because at each point the
replacement can easily be justified by the argument that `rs#y = rs#x`
at the current point when `y` is being used instead of `x`.