- Demonstrate that the following argument is valid: [(BAL) F]A (FC)^(LAC) → B'.