Changed coordinate system to use dependant pairs of numbers and their proofs that they are in bounds, adjusted rest of system/example proofs accordingly