"Institutional faculty" are valuable because they prove new theorems as well.