Where bindings Mastery Check

Changing only variable names while keeping an unrelated construct. Being able to identify and explain the Where bindings construct used in the example, including what changes at a relevant boundary. Assuming successful output guarantees every edge case is safe. Memorizing the output without tracing the language feature.