Use undefined instead of unused arbitraries.