modified prenexing operation code