Overleg:Taxonomy/2. Methodology/Non-Monotonic Refinement

in addition to all the advantages of non-monotonic refinement i would like to add the following:

it is not only one right decomposition that we organize in the theorem, as we have seen, there are more than one decompositions in the verification theorem and we can relate these by the theorem.