Stav dette: Countdown: A Case Study in Origami Programming