ballpoint pen subgroup of pen, 6 assertions