Introducing Logic to the Dumb Project