Sorting works, so conceptually done. Still there remains a question what are the exact rules of comparison ( e.g. is A < (A+B), is (A+B) < (A+C) )