No, you're right. Better to be explicit.