An example concerning definable principal congruences
scientific article; zbMATH DE number 3566910