I’m pretty sure that most language designs skip the “formally” part of the cycle suggested in TFA

And that’s probably a good thing.