public void AndNotGeneric_ReturnsConjunction_WithNegationRight()
{
var spec = new IntegerGreaterThanZero();
var conjoinedSpec = spec.AndNot<IntegerLessThanZero>();
Assert.That(conjoinedSpec, Is.TypeOf<Conjunction<int>>());
Assert.That(conjoinedSpec, Has.Property("Left").EqualTo(spec));
Assert.That(conjoinedSpec, Has.Property("Right").TypeOf<Negation<int>>());
Assert.That(conjoinedSpec, Has.Property("Right").With.Property("Inner").TypeOf<IntegerLessThanZero>());
}
