App Engine Program to verifiy the validity of statements.