testing with thomas_test.txt