Added not about claims algorithm being non-deterministic for issue 709