PROM 2011 - knoth