Determining a point that satisfies the conclusion