rollerball pen subgroup of pen, 4 assertions