The joy of mourning: Ecclesiastes 7-9