Title: Logic to the Rescue