Indeed, `null` does not have to be first. Is the default case also required here?