stage aspect of berry, 1 assertions