Don't have Telegram yet? Try it now!
https://inquisitiveoutlet.com/2019/02/28/symbolic-logic-10-replacement-rules/
Symbolic Logic: 10 Replacement Rules