Given the `context` already describes the result, I thought `example` worked well for each example here (each of which is one case that produces the result).