Title: Acp Modern Formal Logic + Truth Tree