Improved denotation between solutions.