 And so what we have is that in that case, in the Kennedy, Coach Kennedy case, the justices specifically said that we are rejecting the lemon test, which only looked again, like I said, at the primarily secular purpose. And instead, they're substituting in a new test, and it's called historical practices and understandings.