algebras and beyond (J. Okniński) -- Idempotent pairs and PRINC domains (G.