I have been reading the official Redis doc on SETNX and its part \'Handling deadlocks\' (https://redis.io/commands/setnx) and want to ask a question about this part:
