On Tuesday, 19 January 2016 at 07:35:34 UTC, tsbockman wrote: > By substitution, we expect `b[0]` to be equal to `(a[4])[9]`. Apparently I need to get more sleep: By substitution, we expect `b[9]` to be equal to `(a[4])[9]`.