User sw_proving