Denne hade varit en högre embetsman.