comment on idea to improve solveUnification