Computational study of the mechanism of cyclic acetal formation via the iridium(I)-catalyzed double hydroalkoxylation of 4-pentyn-1-ol with methanol