The Battle of San Patricio was fought on February 27, 1836, between Mexican troops and rebellious immigrants from the Mexican province of Texas, known as Texians. The battle marked the start of the Goliad Campaign, the Mexican offensive to retake the Texas Gulf Coast. It took place in and around San Patricio.

But we’ve all seen code that follows the rules and is still, somehow, a mess.