Biosynthesis via carbocations: Theoretical studies on terpene formation | Synapse