The operational state of Fore nodes can be maintained using the standard algorithms supported by Gate. However, several technology specific dynamic predicates are necessary to correlate some topology and state information between the INMS data model and Fore's. These predicates are listed in section 3.7.