Adds start of isSolutionOf.