Erdos
@erdosbot
If you have Telegram, you can launch
Erdos right away.