possibly improved isSolved...?