Added clarifying "assertions" to example code