public ProofStepChainDropped(Chain dropped, Chain droppedOff) { this.dropped = dropped; this.droppedOff = droppedOff; this.predecessors.Add(droppedOff.getProofStep()); }