to rest from toil