Independence algebras, basis algebras and the distributivity condition

Stable basis algebras were introduced by Fountain and Gould and developed in a series of articles. They form a class of universal algebras, extending that of independence algebras, and reflecting the way in which free modules over well-behaved domains generalise vector spaces. If a stable basis algebra B\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb{B}$$\end{document} satisfies the distributivity condition (a condition satisfied by all the previously known examples), it is a reduct of an independence algebra A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb{A}$$\end{document} . Our first aim is to give an example of an independence algebra not satisfying the distributivity condition.