Production Rule for Functional Requirement # 3c

<Documented SYSTEM Employed> (3.0c) :

<Functioning SYSTEM At_all_times> (3.0c1)