added write(truth) to test not.pal