replace proc with move ||