INF-004: What the repair should cost

Unfinished: the premises are in and the conclusion is not. A partial match is no step, so neither chain draws one until it names its conclusion; the unfinished pattern lists it on a page of its own.