Justification of Solution Pairs