Differential proposition