[dannypearlberg]

If H-> not G works the same way as my hypothetical example above of if J->not S. So, if not J->S means that J and S can’t both be out, but they could both be in. If H->not G means that H and G can’t both be in, but they could both be out.