Some axioms about instruction decoding/encodiing.