When is a Bol loop Moufang?
  There are a number of identities which, if satisfied by a Bol loop, imply that the loop is actually Moufang. In this paper we show that in a number of cases, the Moufang identity is also forced not by a single identity, but by giving elements a choice of equations to satisfy. 
Orin Chein, Edgar G. Goodaire, and Michael Kinyon