つまり公式を否定したいと