length aspect of antenna, 17 assertions