Comment by Yopolo

We just put different things together and then we evaluate it.

In math its simple: does the verification say its okay.

If its mechanical: is any property better than what we have already.

etc.