１：事実に対して仮定を持ち出す
「もし最初っから真偽値型があったのなら」