I think defined is not necessary here (unless there's a specific reason for it to be!)