where J y is the y-component of the angular momentum operator and K is complex conjugation, as before. This form follows whenever the spinor can be described with a linear differential equation that is first-order in the time derivative, which is generally the case in order for something to be validly called "a spinor".