done ex126
done ex127
done ex127 function one-true?
done ex128
done ex129