comment out Ht_b unfolding