/* @ pure */ public String getSide(Coordinate coord) {
		String side = null;
		if (coord.getX() == 0) {
			side = "top";
		} else if (coord.getX() == DIM - 1) {
			side = "bottom";
		} else if (coord.getY() == 0) {
			side = "left";
		} else if (coord.getY() == DIM - 1) {
			side = "right";
		}
		return side;
	}