If you have Telegram, you can contact @lambda_calculus_bot right away.