for i, j being Instruction of SCMPDS holds card (i ';' j) = 2