自体がただちに矛盾を引き起こすわけではないということである(このことは、現実に抜き打ちテストが行われ得ることからも明らかであろう)。