Assert H Self Negating