That point doesn't even follow for deterministic distributed systems!