public ProofStepClauseClausifySentence(Clause clausified, Sentence origSentence) { this.clausified = clausified; this.predecessors.Add(new ProofStepPremise(origSentence)); }