Project Logic: Prove It! Book