The Nash-Moser Theorem (remix, feat. R.S. Hamilton)