Reasoning about Asyncio.Semaphore | Dark Hacker News