Mono-add-top criterion: Difference between revisions