Don't have Telegram yet? Try it now!
https://aphilosopher.drmcl.com/2010/09/22/proving-x-concluding-y/
Proving X, Concluding Y