#indirect path #proof strategy #logical fallacy negation