with stability condition
check semiring property of quadratic-arctic numbers
local changes
proper handling of uniqueness