Proof Trees: Function Implemented

• Consider each node in tree as function it implements

  Rather than value

• Leafs = function select one input (y)
• Function (e.g. divide) transforms function to new function depending upon its other argument ( $y\rightarrow y/3$)
• Transformation matrices are now much bigger but proof follows through as before