richmahn_en_tn/isa/07/10.md