Finished functions: isSolved and processSolution