properyl explain hierarchical diff, extend test cases