Residual finiteness conjecture for adjoint groups of quandles

A quandle is an algebraic structure with its standard quandle operation, and a quandle is residually finite if distinct elements can be separated by homomorphisms to finite quandles. Its adjoint group is the group generated by the quandle elements with the defining relations induced by the quandle operation. Residual finiteness conjecture. If a quandle is finitely presented and residually finite, then its adjoint group is residually finite. This would extend the residual-finiteness results established in the paper for free and link quandles, but no general proof is given.