This `isset()` is enough.