Loops with the weak inverse property.