Luqi Pan and Jonathan Schear's final project for cs195y: Logic for Hackers