Nice, although I'd like to keep this explicit. I think some people would have to look that up.