The idempotency conjecture for finitely generated parasemifields
Idempotency conjecture. Every parasemifield which is finitely generated as a semiring is additively idempotent.