for I, J being Program of holds card (I ";" J) = (card I) + (card J)