running example of choco with donald and knuth