I mean, how do you verify that they have a unique solution ?