toilet paper subgroup of paper, 4 assertions