update theo.sql

update theo.sql to test the committed functions.