https://strongshiv8.github.io/posts/Assersion-101/