A large probability averaging theorem for the defocusing NLS. (30th August 2019)