ok yeah tbh fuck that brt project, it should be another skytrain (2× faster, 5× the capacity), but that's not what these freaks are saying. they're saying they'd rather make the city worse for everyone than lose their personal parking spots

like for all we know they formalized the problem, gave the llm access to lean4, and repeated the test until it succeeded by random chance