Ok, I read up a bit on SMTs and Oracles. Sounds pretty much like "We messed up, but we will give you a mechanism to fix it, but it's super complicated and you will need a rocket scientist to get it right" :-)
I am really wondering who will get enough funds and brains to pull this out...
Posted using Steeve