Reasoning about Asyncio.Semaphore | Hacker News Reader