What are Rules of Inference? w/ Logic Professor Tim McGrew