if (resolv[0].size() == 0) {
						//System.out.println("Empty Resolvent!!");
						Substitution sum=new Substitution();
						while (subs.size() != 0) {
							Substitution curr=(Substitution)subs.pop();
							System.out.println(curr.toString());
							sum=curr.applySubst(sum);
						}
						sub[0]=sum;
						System.out.println("Returning: "+sum);
						return true;
					}