  Free binary systems are shown to not admit idempotent means. This refutes a
conjecture of the author. It is also shown that the extension of Hindman's
theorem to nonassociative binary systems formulated and conjectured by the
author is false.
