We study second-order partial differential equations (PDEs) in four dimensions for which the conformal structure defined by the characteristic variety of the equation is half-flat (self-dual or ...