A loop (Q1▪) is called a middle Bol loop if every loop isotope of (Q1▪) satisfies the identity (x∙y)-1 = y -1 x -1 (i.e. if the anti-automorphic inverse property is universal in (Q1▪) [1]. Middle Bol loops are isostrophes ...