Morse–Palais lemma — latest news, discussion & facts — IJR