Title: Logic for Laughs