new pad subgroup of pad, 3 assertions