data1.exec.op : ElementaryToRevolution