Olympiad Geometry · Challenge problem

Square $ABCD$ has side $12$. Point $E$ is on side $\overline{CD}$ with $DE = 4$. Line $AE$ meets line $BC$ (extended beyond $C$) at $F$. Find $CF$.