Consolation for mourners, from the doctrine of a resurrection, and the future happiness of believers