redefined the encoding of operations