WHEN BI-INTERPRETABILITY IMPLIES SYNONYMY. - FRIEDMAN, HARVEY; VISSER, ALBERT (Review of Symbolic Logic, 2025)