Verifying solutions