In this project we explore whether non-experts can contribute to the important problem of Software Verification through playing mathematical puzzle games! Participants need to sign in using Facebook, go through a short tutorial (only on first visit), and then play as many levels as they wish. After several levels they are asked a very short survey. The game does not post or use any information from Facebook, and the survey does not collect any personally identifiable information. We are only interested in how much you like the game, how hard you find it, and your rough level of mathematical and computer science education!