Before revision:  This leads us to a set of graph rules that enable us to determine fixed points for a CTLN that are independent of the parameters, and can be inferred directly from the underlying graph .
After revision:  This leads us to prove a series of graph rules that enable us to determine fixed points for a CTLN that are independent of the parameters, and can be inferred directly from the underlying graph .