Rule 1 Protein: What the Label Arithmetic Shows