Some people, upon reading the description of fail-fast Iterators in the collections framework, are misled into thinking that fail-fast iterators are guaranteed to detect concurrent modification detection in all circumstances. We should make clear that it's a best-effort, not to be depended on. (Memory model issues necessitate this.)