specs: new spec proving #26 fixed