// Assertions - problem 1
// Assertion is a statement of *what you know*
//   i.e what you could prove to be true

	public static void mystery(int x, int y) {
		int z = 0;
		// Point A			z==0, x? y?
		while (x >= y) {
			// Point B		x>=y, z>0
			x -= y;
			// Point C		x? y? z>0
			z++;
			// Point D		x? y? z>0
		}
		// Point E			x<y, z>=0
		System.out.println(z + " " + x);
	}

Fill in the table below with the words ALWAYS, NEVER or SOMETIMES.

			 x < y              x == y              z == 0
		+-----------------+-----------------+-----------------+
Point A |                 |                 |                 |
		+-----------------+-----------------+-----------------+
Point B |    	          |                 |                 |
		+-----------------+-----------------+-----------------+
Point C |                 |                 |                 |
		+-----------------+-----------------+-----------------+
Point D |                 |                 |                 |
		+-----------------+-----------------+-----------------+
Point E |                 |                 |                 |
		+-----------------+-----------------+-----------------+