for -- else: what was the motivation?

[Chris Angelico]

On Mon, 10 Oct 2022 at 03:46, Avi Gross <avi.e.gross at gmail.com> wrote:
>
> Chris, I was not arguing that at all.

Maybe not intentionally, but you did lend a lot of weight to that argument :)

ChrisA