HIBT proof