horn aspect of rhino, 17 assertions