The second condition on \\(\[H_{i,j}\]\\) is that it must be _infinitesimal stochastic_, which means this:

* All the off-diagonal elements are non-negative
* Each column sums to zero