This programme is expounded and demonstrated with genius from the beginning of the Ethics: we are told that the attributes are irreducible to genera or categories because while they are formally distinct they all remain equal and ontologically one, and introduce no division into the substance which is said or expressed through them in a single and same sense (in other words, the real distinction between attributes is a formal, not a numerical distinction).