premise: Certainly tenure was in the bag for these fellows after coming up with the formula, though it probably was likely for them anyway.
hypothesis: Regardless of what the fellows were doing, they would probably get their tenure eventually anyways. 