digest.jelly #4