[bondarchuk]

But you will know beforehand some/a lot of properties that the solution will satisfy, which is a type of certainty.