On 2021-03-01 21:54, Jacques Carette wrote: > Here is a self-contained puzzle that has me stumped. Why do you want to prove this? -- /NAD