vernier caliper subgroup of caliper, 2 assertions