On 2025/10/11 上午12:25, Ard Biesheuvel wrote: ... > Why do we need both (1) and (2)? Not both, either (1) or (2). Which one do you prefer? Or any other suggestions? Taking all of the considerations in balance, we should decide what is the proper way. Thanks, Tiezhu