Text this: Additional circuit judge for seventh Judicial Circuit.