DiCE and K9