Robinson's Q, does not prove commutativity. Therefore, it must presumably have models where one or both of additive or multiplicative commutativity fail. Are there any "easy" models of this type? Bill