Well the difficult part is finding a good intermediate representation, which they did