The following principles apply for all uncoupled lines irrespective of whether is paced or unpaced.

• Principle (Availability): The product of the individual station availabilities is a lower bound on the overall line availability.