LV-Assumptions & constraints ()
LV-Assumptions & constraints