Given below are animations of some sample Jay programs. These animations were produced as a by-product of interpreting the programs using the formal semantic model of Jay given in the text.