for R being Ring
for I being Instruction of (SCM R) holds InsCode I <= 7