Last updated 2022-08-06
Screen Shot: Invoking the Conclusion Rule─simply point and click to obtain the result on line 3.