Every time you make one assumption when coding, you leave it in one place and never spread it to other code pieces. Everybody wants to do that, but it is all easier said than done with current tools.

Writeup comes in parts:

1: https://medium.com/@MartinCracauer/a-gentle-introduction-to-...

2: https://medium.com/@MartinCracauer/a-gentle-introduction-to-...

Part 3 finishing, soon.