Cosmetic.
Cosmetic
resed_diff_tail/3