body aspect of heron, 1 assertions