Unfinished, but worth saving part of proof of completeness.