Added ThautTests.
Fixed set!