https://thebitcoinnews.com/devs-discuss-formal-specification-project-for-bitcoin-cash/