In general Ray–Knight type theorems of the first kind consider the field L t at a hitting time of the underlying process, whilst theorems of the second kind are in terms of a stopping time at which the field of local times first exceeds a given value.