Didn't you guys have this discussion like 10 years ago in Lambda the Ultimate comments?