effect aspect of spill, 4 assertions