PTF leads to machines being constructed according to the same thinking pattern:
First it is analyzed (What does the function do?),
then defined (Which signals are necessary?),
then modeled (Which zones are used?).
This creates a standardization that is based on thinking rather than software libraries.
Selmo does not force the user to use a specific technique – it only requires that every function be formalizable.
If it is not formalizable, the problem is not in Selmo but in the specification.
