added assertion examples