https://buksbaum.us/2011/04/20/using-code-contracts-for-safer-code/