to DLV or not