This week we have been focussing our attention on subtraction, spending time looking at decomposition and the use of formal methods.

Some of us found this a little tricky!