differentiable_society