Såsom censorer fungerade domprosten,