Logic to the Rescue