https://www.tarbikafa.com/2017/04/Advantages-of-Formal-Standard.html