Hopefully, verifying a solution is easier for your human brain than coming up with one?