Yal af justitieombudsman och hans efterträdare.