Create theta.verify.py