Proxy now returns the input data correctly (albeit slowly). Lots of optimisations are available, hopefully
Implement subtraction