I guess that is better as long as we don't accidentally change it to `defined`.