for I being Instruction of SCM holds I is Instruction of SCM+FSA