lenient assertion examples update