Lifted Logic Wm_Bills