BTW the `testThat` part is not really needed. It is a `@Test` so obviously you are testing that something holds.