public ProofStepChainContrapositive(Chain contrapositive, Chain contrapositiveOf) { this.contrapositive = contrapositive; this.contrapositiveOf = contrapositiveOf; this.predecessors.Add(contrapositiveOf.getProofStep()); }