Is it really necessary to mention this? I would think this may be something we could leave implicit.