Replace proc() with move ||