richmahn_en_tn/exo/08/25.md