wiki/concepts/floyd_s_invariant_method.md history