Officeholders, for short