Unfinished: the premises are in and the conclusion is not. A partial match is no step, so neither page draws one until it names its conclusion.
Unfinished: the premises are in and the conclusion is not. A partial match is no step, so neither page draws one until it names its conclusion.