Well-foundedness conditions connected with left-distributivity Richard LaverJohn A. Moody Pages: 65 - 68