ん?
では抜き打ちテストの定義をどちらか一方だけにげんていすれば
パラドクスは起こらないのか?