for I, J being Program of holds Directed I c= I ";" J