As this shows, once a self-contradiction is shown, the convention for writing an Indirect Proof is to then quit the indented sequence and write just the conclusion, followed by the justification “IP.” This means that the Indirect Proof has been accomplished: by showing that the assumption led to a self-contradiction
