Provide the additional steps to derive the designated conclusion, providing your justification (line numbers + inference rule used) for each step. For this exercise, you're expected to use the Indirect Proof aka Reductio ad Absurdum.

Assumptions:

1. (B v L) (F G)
2. (G v M) (P ~B)

Conclusion:

• ~B