How to use the PL Proof Machine for Sider's Logic for Philosophy