public void ForAny_ReturnsExistentialQuantification() { var spec = new IntegerGreaterThanZero(); var anySpec = spec.ForAny(); Assert.That(anySpec, Is.TypeOf<ExistentialQuantification<int>>()); Assert.That(anySpec, Has.Property("Inner").EqualTo(spec)); }