Collaborations between John Lissauer and Masako Miyoshi