ADR 0557 version 9: a failure that is one node's holds nothing and sets nothing back, but the version reaches no node that does not want it yet until it is over. A node whose want does not name F gets no new want naming it (rule 2, in words naming the failing nodes); wants already written stay.