another OP_ALL