The assertion is not named; however, it is implied.
⇑ Translate the sentence above by Google ⇑
Related: assertion