Identify the inference or replacement rule for each line in the proofs below

A ↔ (B v C)
B / ˫ A
(B v C) → A
B v C
˫ A