This is really interesting, I'm always finding weird bugs in my joins once they grow a certain size and this has helped me understand why. Btw you still have a todo comment in section "Why you should only use ID equality"