John, this came from the WMIH 8K filing discussing their merger with NSM on 2/13/2018 but most people missed this.