level aspect of spinach, 3 assertions