Fixed a bug in H(A,B) in NoTruth