For each statement in the left-hand column, indicate which, if any, of the statement forms in the right-hand column have the given statement as a substitution instance, and indicate which, if any, is the specific form of the given statement.

[(X ⊃ Y) ⊃ X] ⊃ X

a. p · q
b. p ⊃ q
c. p ꓦ q
d. p · ∼ q
e. p = q

f. (p ⊃ q) ꓦ (r · s)

g. [(p ⊃ q) ⊃ r] ⊃ s

h. [(p ⊃ q) ⊃ p] ⊃ p

i. (p · q) ꓦ (r · s)

j. p ⊃ (q ꓦ ∼r)