depth aspect of pond, 3 assertions