Seol mar théacs é seo: Countdown: A Case Study in Origami Programming