@luckytran anyone have access to the proof of this op?