Someone at MIRI must know how to solve this. Good luck getting them to tell you how!