public void ForAll_ReturnsUniversalQuantification()
        {
            var spec = new IntegerGreaterThanZero();
            var anySpec = spec.ForAll();

            Assert.That(anySpec, Is.TypeOf<UniversalQuantification<int>>());
            Assert.That(anySpec, Has.Property("Inner").EqualTo(spec));
        }