Binary format: is_conditional[1], instruction id[remaining bits] is_conditional: n: number of bits in first parameter s: minimum number of bits required to represent (number of bits for current mode - 1) /: integer division Appends 2 parameters to the normal parameter list for the instruction: First parameter: Lowest (n-s)/2 bits: Which bits to check Next (n-s)/2 bits: Value for each of the above that it should match Remaining bits: Bitwise offset into second parameter for value to be used Second parameter: Value to be used Conditional instructions will be executed after unconditional ones Conditional instructions will never set flags, if a conditional instruction references another, it will always be based on null flags Exceptions: If (s+2) > n: Triggers `illegal instruction` exception