We introduce progressive consumption taxation into a real-business-cycle setup augmented with a detailed government sector. We calibrate the model to Bulgarian data for the period following the introduction of the currency board arrangement (1999)(2000)(2001)(2002)(2003)(2004)(2005)(2006)(2007)(2008)(2009)(2010)(2011)(2012)(2013)(2014)(2015)(2016). We investigate the quantitative importance of the presence of of progressive taxation of consumption expenditures for the stabilization of cyclical fluctuations in Bulgaria. We find the quantitative effect of such a tax to be very small, and thus not important for either business cycle stabilization, or public finance issues.