There's always a Logic Solution!