for i, j being Instruction of SCM+FSA holds card (i ";" j) = 4