refined relations (htc chapter 7)