Logic in the Lab