A body may not be necessary here at all. This is nice and explicit.