The major product of the following reaction is: \( \mathrm{CH_3CH_2CH{=}O} \xrightarrow[\text{reflux}]{\text{excess } \mathrm{HCHO}\ \text{alkali}} \ ? \)