if (formula1 instanceof Implies && formula2 instanceof Implies){
Implies implies1 = (Implies)formula1;
Implies implies2 = (Implies)formula2;
if (implies1.getConclusion().toString().equals(implies2.getHypothesis().toString()) &&
implies2.getConclusion().toString().equals(implies1.getHypothesis().toString()) ){
Iff iff = new Iff(implies1.getHypothesis(), implies1.getConclusion());
return iff;
}
}
}
}