First draft of Elm animation for ISSAC talk