Title: Fooling Around with Logic