No need for `@param`