contact lens subgroup of lens, 7 assertions