Rewrote tests to xunit theories