If you need equality, just use fixed point