where in isSolutionOf