Presentations from undefined-kr