2the rule put at the beginning of the theory corresponds to index 1