The ascending chain condition