It's not strictly necessary here, but I think it's helpful.