An indirect proof is an argument that begins with the assumption that a conclusion is false, then uses logical reasoning to show that the assumption leads to a _____.