if the following are true:- there is a computer at location x: x y: y z: z and time: t
- z = a + b
then there is a computer at location x: x y: y z: (a + b) and time: t
Start from the conclusion and work back up the proof. Click the arrow to show the parents.