  We show that the class of Metropolis-Rota implication algebras can be given a
universal axiomatization using an operation closely related to composition in
oriented matroids. Lastly we describe the role of our new operation in the
collapse of an MR-algebra.
