pressure pad subgroup of pad, 1 assertions