Set predicate `#{0}` -> `#{1}`

The set `#{0}` is a suboptimal example because the core predicate `zero?` would be even more appropriate.