Refined smt-motivation figures.