Exterior differentiation