filter paper subgroup of paper, 2 assertions