On Tuesday, 14 November 2023 at 14:36:57 UTC, dhs wrote: > Just to clarify some more: isn't "s1 = ss1" similar to I meant "ss1 = s1" here, sorry.