Reverse Mathematics: Proofs from the Inside Out