A Demo Training Session with Michael Ellis and Monk