See `else` below.