Wrote up Matsumoto-Amano stuff and meet-in-the-middle approaches.