field aspect of lens, 43 assertions