公式が否定してる場合の判断も欲しいし