Propose a mechanism for the following acid-catalyzed double cyclization. Hint: The mechanism looks like the cyclization of squalene oxide to lanosterol.