If you have Telegram, you can view and join
Cherry's proofs right away.