new pillow subgroup of pillow, 4 assertions