Weakly associative relation algebras hold the key to the universe

Maddux observed a tantalisingly close connection between certain relation algebras and relevant logics R and RM. He asks whether this connection amounts to full interpretability. Although unable to answer that question, we prove that a version of positive minimal relevant logic B is fully interpretable in the variety of weakly associative relation algebras.