 In the legislature, as we have worked our way through $83 billion in spending and redirected $670 million that should have gone to the teacher retirement system elsewhere, just make the budget work. Let's see, we've...