More progress with completeness proof.  18 cases to go.