I think it would be useful to enumerate spec violations and see which ones we can and can't fix over time.