Add solution to 'test justification'.