I think it's more of a formality so we can apply [basic.life] p4 to it.