public void setAnswers(List<Dictionary<Variable, Term>> answers) { foreach (Dictionary<Variable, Term> ans in answers) { proofs.Add(new ProofFinal(stepFinal, ans)); } } }