A substituted cyclohexanone undergoes base-catalyzed aldol cyclization and gives the following compound. Propose the mechanism of the cyclization to form the product.