Inverse property loop implies all nuclei coincide
Statement
In an Inverse property loop (?), the Left nucleus (?), Middle nucleus (?), and Right nucleus (?) are all equal, and hence all of the mare equal to the Nucleus (?). In other words, an element in an inverse property loop is left-associative if and only if it is middle-associative, if and only if it is right-associative.