pile rug subgroup of rug, 2 assertions