Equational quasigroup definitions · wovepaper