A Little Logic