Once he learned of Harper's resurrection, Tobias assumed that she must have memorized the formula.
Once he learned of Harper's revival, Tobias assumed that she must have committed the formula to memory.