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