Better document null move dynamic reduction