verified operation