Making revisions to ADAM TR to fix graph formatting, move proof, eliminate applications, and add future work.