But I think for now, I guess, there is a certain level of accountability of spelling things out, that they are inspectable, but even for measures of robustness or certification, you probably want to have other syntax or other logical forms that are being, as a typical representation, not necessarily text. Because text has all the problems, there is no syntax, they can be all injections and they also not lend themselves to any form of verification, for example.