public boolean forward(Variables vars, Constraints con, Domain dom, Node var){
//		System.out.println("Now that "+var+" "+var.getNeighbors().size());
		
		for(int ind: var.getNeighbors()){
			Node temp = vars.getByIndex(ind);
			if(!temp.isSet()){
				ArrayList<Integer> tempList =  new ArrayList<Integer>();
				for(int val:dom.allowable){
					if(!con.isLegal(temp, vars, val)){
//						System.out.println("\t"+val+" is not going to be consistent for "+temp);
						tempList.add(val);
					}
				}
				if(tempList.size()==dom.allowable.length){
					return false;
				}else{
					temp.prune(tempList);
					if(!MAC(vars,dom)){
						return false;
					}
				}
			}
		}
		return true;
	}