Title: Student User's Guide for Longmanlogic with Proof Checker