equivalent fixed point equations