Unreliable Failure Detectors for Reliable Distributed Systems (證明篇)Weak Completeness to Strong Completeness