green code and correct post-condition binarysearch
any presentation is better with github logo