The solution can now be checked