Text this: Subsumption in $mathcal{FL}_{bot mathit{reg}}$ with TBoxes Is in ExpTime