Logics for beginners.