saving down definitions to redis now