MIRI has said a lot about the issue of embedded agency over the last year. However, I am yet to see them trying to make progress in what I see as the most promising areas. How does one attack a problem that is new, complicated and non-obvious? By constructing toy...