Refactoring of stress-test

Shouldn't this be like "All inner conditions are true"?