We have an official definition for Democratic depression