TowerBFT was subexponential