Systems keep getting better, and theorems keep arriving to explain why they can not - both can be true because they're usually about different things.