@typeswitch Impeccably crafted, and educational. (I didn't know the phrase before.)