digital pen subgroup of pen, 2 assertions