proof-ing xhg