Adding a Github proof