apple pencil subgroup of pencil, 2 assertions