Mechanistic proposals for the carbocation cascade reaction leading to the tricyclic sesquiterpene pentalenene are assessed in light of the results of isotopically sensitive branching experiments with the H309A mutant of pentalenene synthase. These experimental results support a mechanism for pentalenene formation involving a 7-protoilludyl cation whose intermediacy was first predicted using quantum-chemical calculations.