And fwiw, they currently appear to have somewhere between 20 and 27 professors in CS, depending on how you count people who have cross-appointments in multiple departments (some are clearly primarily CS, some primarily elsewhere, and some don't make it obvious from their website). So adding 7 is an expansion of ~25-35%.