Title: Beginner's Guide to Differential Logic