Supplement to "Efficient Repeated Implementation" A PDF file containing formal results and proofs omitted from manuscript. Supplemental Authors: Jihong Lee and Hamid Sabourian proofs 8859_proofs_0.pdf