formality decreases misunderstandings

• Formality is good to specify automated processes

• Biggest misunderstandings are about what to do

Make the things right!

Make the right things!