I have been working through Foundations conditionals, and am getting a good grasp of how to translate to symbolic lawgic. But there is a big gap between writing symbols and actually applying it to test questions. Are there videos explaining how to do just this?