ELAB removed |safe from elaboration-presentation