foot aspect of petrel, 1 assertions