Boolean inverse monoids and $MV$-algebras are both supposed to be generalizations of Boolean algebras. Boolean inverse monoids are non-commutative, whereas $MV$-algebras are commutative but, in general, non-idempotent. In this talk, I shall explain that $MV$-algebras are really subservient to Boolean inverse monoids. This is joint work with Phil Scott.