Seven out of how many law professors in total?