Formal written calculation

Coming soon...