これは、任意のコンテキストで、aならばaであること意味している。