En framstående annan tjensteman använde,