mutual reachable sets

mutual reachable sets is a model in our research taxonomy.