Checking solutions