Jungmann and Workman's snowman