[wideawake]

you don't get to introduce a term that makes your claim true by definition

Since the whole point of the experiment is to demonstrate that the complexity is in fact reducible, there is no need to try again.

[steve-b]

Since the whole point of the experiment is to demonstrate that the complexity is in fact reducible

That can be shown by simply describing simpler subelements, without the need for any experiment.