Gradient Logic