I think using `isset()` would suffice here, to speed things up a bit.