I was reading Robbin's "Mathematical Logic" and found these very Game Changer-y problems.