Embedding If and Only If. - Sennet, Adam; Weisberg, Jonathan (Journal of Philosophical Logic, 2012)