Conjugation of Entformalisieren