leg aspect of tern, 4 assertions