Aren't we missing a `[Fact]` attribute here?