INV+PL+Declaration