Ample dividing - Evans, DM (Journal of Symbolic Logic, 2003)