length aspect of lens, 12 assertions