[Wotsap-updates] strong set <-> reachable set