Nonsmooth Morse–Sard theorems. (September 2017)