A structure which is decidable if and only if R_exp is decidable