Let $L$ be the ground model, and $a\in2^\omega$ be a Sacks-generic real over $L$. Note that any real $x\in S=(2^\omega\cap L[a])\setminus L$ is still Sacks-generic over $L$. Now assume that $\mathsf E$ is an OD (ordinal-definable) equivalence relation in $L[a]$ on the set $S$, with exactly two eq...