I prefer `example coveredBy _`, but that's just nitpicking.