Logic for Dummies