trunk aspect of palm, 6 assertions