range aspect of lens, 20 assertions