Thanks, that's an interesting tidbit! (The whole thing made me think about applications to SQL query optimizers, although I'm not sure if it's practically usef

Thanks, that's an interesting tidbit! (The whole thing made me think about applications to SQL query optimizers, although I'm not sure if it's practically useful for anything.)