Certainly tenure was in the bag for these fellows after coming up with the formula, though it probably was likely for them anyway.
Regardless of what the fellows were doing, they would probably get their tenure eventually anyways. 
No matter what the fellows did, they will never be awarded tenure. 