Why Do Formal Methods Speak in Riddles?!

A blog post that explores why formal methods often feel like riddles using a specification of distributed transactions as an example