Re: [crux-contrib] crux-contrib Digest, Vol 44, Issue 4